منابع مشابه
TOWARDS THE THEORY OF L-BORNOLOGICAL SPACES
The concept of an $L$-bornology is introduced and the theory of $L$-bornological spacesis being developed. In particular the lattice of all $L$-bornologies on a given set is studied and basic properties ofthe category of $L$-bornological spaces and bounded mappings are investigated.
متن کاملTowards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.
متن کاملThe descriptive theory of represented spaces
On the surface, the emergent descriptive theory of represented spaces is the extension of both classical [36] and effective [52] descriptive set theory from its usual setting of Polish spaces to the much larger class of represented spaces. There is far more to it, though: By extending the setting, suddenly connections to areas such as category theory (with a certain topos-theoretic flavour) and...
متن کاملtowards the theory of l-bornological spaces
the concept of an $l$-bornology is introduced and the theory of $l$-bornological spacesis being developed. in particular the lattice of all $l$-bornologies on a given set is studied and basic properties ofthe category of $l$-bornological spaces and bounded mappings are investigated.
متن کاملDescriptive Classification Theory and Separable Banach Spaces
Three Notions of Classification Consider your favorite class ofmathematical structures, be it groups, modules, measure-preserving transformations, C-algebras, Lie groups, smooth manifolds, or something completely different. With some probability, the classification problem for these objects, that is, the problem of determining the structures up to some relevant notion of isomorphism, is, or has...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2016
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129516000177